1. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
2. Duality theories for Boolean algebras with operators
پدیدآورنده : Givant, Steven
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebra, Boolean,، Duality theory )Mathematics(
رده :
QA
10
.
3
.
G58
2014
3. Introduction to boolean algebras
پدیدآورنده : Givant, Steven Roger, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Algebra, Boolean
رده :
QA
10
.
3
.
G58I5
4. Introduction to boolean algebras
پدیدآورنده : Givant, Steven., Steven Givant
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Algebra, Boolean
رده :
QA
3
.
G5
5. Introduction to boolean algebras
پدیدآورنده : / Steven Givant, Paul Halmos
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Algebra, Boolean,Booleaanse algebra., gtt,Boolesche Algebra., swd
رده :
E-BOOK
6. Logicas Algebra
پدیدآورنده : / Paul Halmos,Steven Givant
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Algebra
رده :
512
H194L
7. Simple relation algebras
پدیدآورنده : Givant, Steven Roger, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Algebra,، Logic, Symbolic and mathematical
رده :
QA
10
.
3
.
G58S5
